<html>
<head><meta charset="utf-8"><title>I-prioritize #73272 caller_location ICEs in Miri · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html">I-prioritize #73272 caller_location ICEs in Miri</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200645788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200645788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200645788">(Jun 12 2020 at 08:37)</a>:</h4>
<p>@<strong>WG-prioritization</strong> issue <a href="https://github.com/rust-lang/rust/issues/73272">#73272</a> has been requested for prioritization.</p>



<a name="200645852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200645852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200645852">(Jun 12 2020 at 08:38)</a>:</h4>
<p>Oops, doesn’t ping, my mistake</p>



<a name="200654717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200654717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200654717">(Jun 12 2020 at 10:28)</a>:</h4>
<p>Anyway, I think this can be <code>P-medium</code></p>



<a name="200671630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200671630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200671630">(Jun 12 2020 at 13:46)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> btw, do we really want to be pinged? :)</p>



<a name="200671679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200671679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200671679">(Jun 12 2020 at 13:46)</a>:</h4>
<p>in my cause I end usually ignoring these pings and at some point I jump into the pending things</p>



<a name="200675535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200675535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200675535">(Jun 12 2020 at 14:17)</a>:</h4>
<p>it's a bug that's being fixed :P</p>



<a name="200677290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200677290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200677290">(Jun 12 2020 at 14:31)</a>:</h4>
<p><span class="user-mention" data-user-id="120823">@DPC</span> but I meant, do we want to be pinged really?</p>



<a name="200677331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200677331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200677331">(Jun 12 2020 at 14:31)</a>:</h4>
<p>I think I'd get rid of pings</p>



<a name="200677404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200677404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200677404">(Jun 12 2020 at 14:32)</a>:</h4>
<p>i'm okay with either approach tbh</p>



<a name="200677461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200677461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200677461">(Jun 12 2020 at 14:32)</a>:</h4>
<p>personally i prefer not to be pinged because i have starred the stream so it's almost at the top so I check it regularly</p>



<a name="200677493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200677493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200677493">(Jun 12 2020 at 14:33)</a>:</h4>
<p>exactly, it's kind of the same for me</p>



<a name="200677515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200677515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200677515">(Jun 12 2020 at 14:33)</a>:</h4>
<p>if someone prefer to be pinged let's leave it as is, otherwise I guess we should remove pings</p>



<a name="200677531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200677531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200677531">(Jun 12 2020 at 14:33)</a>:</h4>
<p>just opening a topic is enough</p>



<a name="200678558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200678558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200678558">(Jun 12 2020 at 14:41)</a>:</h4>
<p>created a new thread so we can discuss it there</p>



<a name="200701016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200701016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200701016">(Jun 12 2020 at 17:41)</a>:</h4>
<p>bump</p>



<a name="200705957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200705957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200705957">(Jun 12 2020 at 18:20)</a>:</h4>
<p>This has an accepted fix PR</p>



<a name="200705988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200705988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200705988">(Jun 12 2020 at 18:20)</a>:</h4>
<p>I guess prioritization doesn’t matter much now</p>



<a name="200706131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200706131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200706131">(Jun 12 2020 at 18:22)</a>:</h4>
<p>But I think this would be <code>P-medium</code> just like any common toolstate breakage</p>



<a name="200821633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200821633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200821633">(Jun 14 2020 at 15:42)</a>:</h4>
<p>this issue is closed now. So i think we can remove the request for prioritisation</p>



<a name="200821711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373272%20caller_location%20ICEs%20in%20Miri/near/200821711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373272.20caller_location.20ICEs.20in.20Miri.html#200821711">(Jun 14 2020 at 15:44)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/73272">#73272</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>